41. Artificial intelligence in design
پدیدآورنده : editor, J.S.Gero
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data Processing - Congresses ، Engineering design,Congresses ، Artificial intelligence,، Expert systems )Computer science(
رده :
TA
174
.
A78
1989
42. Broadband communications, networks, and systems :
پدیدآورنده : Ioannis Tomkos ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Broadband communication systems -- Congresses.,Computer. Automation.,software engineering.
43. Computational Intelligence in Architecting Complex Engineering Systems : proceedings of the Artificial Neural Networks in Engineering Conference )ANNIE 2009( held November 2-4, 2009, in St. Louis, Missuri, U.S.A.
پدیدآورنده : editors, Cihan H. Dagli...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Systems engineering,Congresses ، Neural networks )Computer science(
رده :
QA
76
.
87
.
A784
2009
44. Computer applications in production and engineering: IFIP TC5 International Conference on Computer Applications in Production and Engineering )CAPE'97(, 5-7 Nov. 1997, Detroit, Michigan, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer integrated manufacturing systems-- Congresses,، Production engineering-- Congresses,، CAD/CAM systems-- Congresses
رده :
TS
155
.
6
.
I586
1997
45. Computer applications in production and engineering : proceedings of the Fourth International IFIP TC5 Conference on Computer Applications in Production and Engineering--Integration Aspects, CAPE '91, Bordeaux, France, 10-12 September 1991
پدیدآورنده : edited by Guy Doumeingts, Jim Browne, Marco Tomljanovich
موضوع : Computer integrated manufacturing systems - Congresses,Production engineering - Congresses,CAD/CAM systems - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
46. Computer performance engineering :
پدیدآورنده : Nigel Thomas (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2011
47. Cyber-physical Systems and Digital Twins :
پدیدآورنده : Michael E. Auer, Kalyan Ram B., editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cooperating objects (Computer systems), Congresses.,Engineering instruments, Congresses.,Internet of things, Congresses.,Remote control, Congresses.,Cooperating objects (Computer systems),Engineering instruments.,Internet of things.,Remote control.
رده :
TJ213
.
I58
2019
48. Digital human modeling
پدیدآورنده : Vincent G. Duffy (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Digital computer simulation, Congresses,Human-machine systems, Congresses,Industrial engineering-- Computer simulation, Congresses,Medicine-- Computer simulation, Congresses,Anthropometry,Computer Simulation,Ergonomics,Models, Biological,Models, Psychological
رده :
QA76
.
9
.
C65
I54
2009eb
49. Engineering and deployment of cooperative information systems : first International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002 : proceedings
پدیدآورنده : Yanbo Han, Stefan Tai, Dietmar Wikarski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : International cooperation -- Congresses ، Distributed databases,Congresses ، Computer networks,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
2480
50. Engineering in dependability of computer systems and networks :
پدیدآورنده : Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak and Janusz Kacprzyk, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering, Congresses.,Computer systems-- Reliability, Congresses.,Computer engineering.,Computer systems-- Reliability.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
76
.
R44
51. Enterprise and organizational modeling and simulation
پدیدآورنده : Joseph Barjis, Tillal Eldabi, Ashish Gupta (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business-- Data processing, Congresses.,Management information systems, Congresses.,Systems engineering-- Computer simulation, Congresses.,Systems engineering-- Mathematical models, Congresses.
52. Expert systems in computer-aided design:proceedings of the ifip
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : COMPUTER-AIDED DESIGN-CONGRESSES , ENGINEERING DESIGN-DATA PROCESSING , EXPERT SYSTEMS )COMPUTER
رده :
TA
174
.
I325
1987
53. Expert systems in engineering : principles and applications : International Workshop, Vienna, Austria, September 24-26, 1990 : Proceedings
پدیدآورنده : G. Gottlob, W. Nejdl, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
462
54. Expert systems in production engineering: Proceedings of the international workshop, Spa, Belgium, August 18-22, 1986
پدیدآورنده : G. Menges, N. Hovelmanns, E. Baur, eds
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Production engineering,Congresses ، Expert systems )Computer science(
رده :
TS
176
.
E97
1987
55. Expert systems in structural safety assessment: Proceedings of an international course, October 2-4, 1989. Stuttgart, FRG
پدیدآورنده : A. S. Jovanovic...]et al.[, eds
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Safety factor in engineering,Congresses ، Structural engineering,Congresses ، Expert systems )Computer science(
رده :
TA
656
.
5
.
E95
1989
56. Expertensysteme in Produktion und Engineering :
پدیدآورنده : herausgegeben von H.-J. Bullinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Expert systems (Computer science) -- Congresses.,Production engineering -- Data processing -- Congresses.,Production management -- Data processing -- Congresses.
57. Flexible automation and intelligent manufacturing 1997: proceedings of the Seventh International FAIM Conference, European Process Industries Competitivieness Centre, University of Teesside, Middlesbrough, England, June 25-27, 1997
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Automation,Congresses ، Flexible manufacturing systems,Congresses ، Computer integrated manufacturing systems,Congresses ، Concurrent engineering
رده :
T
59
.
5
.
I5714
1997
58. Formal Techniques for Safety-Critical Systems
پدیدآورنده : [edited by] Cyrille Artho, Peter Csaba Olveczky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها,ایمنی سیستم‌ها -- کنگره ها ,م‍ه‍ن‍دس‍ی س‍ی‍س‍ت‍م ها -- گنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
59. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
60. Formal techniques for safety-critical systems :
پدیدآورنده : Cyrille Artho, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Systems engineering, Congresses.,Formal methods (Computer science),System safety.,Systems engineering.
رده :
QA76
.
9
.
F67
